:- import set_unify/2 from set_unify.
:- import numbervars/1 from num_vars.
:- import normalize_result/2 from can_mono.

test :- tp, fail.
test :- writeln('=========== Result is ================'), nl, show_facts.

unify_sets([],[]).
unify_sets([A|As],[B|Bs]) :- 
       set_unify(A,B), unify_sets(As,Bs).


%---------------- Transformed program ----------------------

comppeepopt__1(_288,_290,_292) :- 
        _244 = _294, _86 = _296, _100 = _298, 
        comppopt1(_244,_259),
        comppopt4(_259,[list],_192,_100,_86),
        normalize_result([_294,_296,_298],
                         [_288,_290,_292]).
comppopt1__1(_116,_118) :- 
        [list] = _120, [list] = _122, 
        normalize_result([_120,_122],
                          [_116,_118]).
comppopt1__1(_202,_204) :- 
        [list|_164] = _206, _102 = _208, 
        comppopt11(_183,_164,_102),
        normalize_result([_206,_208],
                         [_202,_204]).
comppopt11__1(_228,_230,_232) :- 
        [other] = _234, [list|_208] = _236, [list|_192] = _238, 
        comppopt1a(_208,_192),
        normalize_result([_234,_236,_238],
                         [_228,_230,_232]).
comppopt11__1(_228,_230,_232) :- 
        [other] = _234, [list|_208] = _236, [list|_192] = _238, 
        comppopt1a(_208,_192),
        normalize_result([_234,_236,_238],
                         [_228,_230,_232]).
comppopt11__1(_270,_272,_274) :- 
        [other] = _276, [list|_212] = _278, _118 = _280, 
        'my =:='(_237,_235),
        comppopt11(_246,_212,_118),
        normalize_result([_276,_278,_280],
                         [_270,_272,_274]).
comppopt11__1(_300,_302,_304) :- 
        [other] = _306, [list|_236] = _308, _118 = _310, 
        'my =\\='(_261,_259),
        poptmovreg(_274,_259,_261,_236,_118),
        normalize_result([_306,_308,_310],
                         [_300,_302,_304]).
comppopt11__1(_228,_230,_232) :- 
        [other] = _234, [list|_208] = _236, [list|_192] = _238, 
        comppopt1(_208,_192),
        normalize_result([_234,_236,_238],
                         [_228,_230,_232]).
comppopt11__1(_228,_230,_232) :- 
        [other] = _234, [list|_208] = _236, [list|_192] = _238, 
        comppopt1a(_208,_192),
        normalize_result([_234,_236,_238],
                         [_228,_230,_232]).
comppopt11__1(_228,_230,_232) :- 
        [other] = _234, [list|_208] = _236, [list|_192] = _238, 
        comppopt1(_208,_192),
        normalize_result([_234,_236,_238],
                         [_228,_230,_232]).
comppopt11__1(_238,_240,_242) :- 
        [other] = _244, [list,list|_218] = _246, [list|_202] = _248, 
        comppopt1(_218,_202),
        normalize_result([_244,_246,_248],
                         [_238,_240,_242]).
comppopt11__1(_238,_240,_242) :- 
        [other] = _244, [list,list|_218] = _246, [list|_202] = _248, 
        comppopt1(_218,_202),
        normalize_result([_244,_246,_248],
                         [_238,_240,_242]).
comppopt11__1(_238,_240,_242) :- 
        [other] = _244, [list,list|_218] = _246, [list|_202] = _248, 
        comppopt1(_218,_202),
        normalize_result([_244,_246,_248],
                         [_238,_240,_242]).
comppopt11__1(_188,_190,_192) :- 
        [other] = _194, _168 = _196, _102 = _198, 
        comppopt1(_168,_102),
        normalize_result([_194,_196,_198],
                         [_188,_190,_192]).
comppopt11__1(_276,_278,_280) :- 
        [other] = _282, [list|_253] = _284, [list|_230] = _286, 
        peepchk(_253,_172),
        comppopt1(_253,_230),
        normalize_result([_282,_284,_286],
                         [_276,_278,_280]).
comppopt11__1(_238,_240,_242) :- 
        [other] = _244, [list|_218] = _246, [list,list|_138] = _248, 
        comppopt1(_218,_138),
        normalize_result([_244,_246,_248],
                         [_238,_240,_242]).
comppopt11__1(_228,_230,_232) :- 
        [other] = _234, [list|_208] = _236, [list|_192] = _238, 
        comppopt1(_208,_192),
        normalize_result([_234,_236,_238],
                         [_228,_230,_232]).
comppopt11__1(_228,_230,_232) :- 
        [other] = _234, [list|_208] = _236, [list|_192] = _238, 
        comppopt1(_208,_192),
        normalize_result([_234,_236,_238],
                         [_228,_230,_232]).
comppopt11__1(_228,_230,_232) :- 
        [other] = _234, [list|_208] = _236, [list|_192] = _238, 
        comppopt1(_208,_192),
        normalize_result([_234,_236,_238],
                         [_228,_230,_232]).
comppopt11__1(_228,_230,_232) :- 
        [other] = _234, [list|_208] = _236, [list|_192] = _238, 
        comppopt1(_208,_192),
        normalize_result([_234,_236,_238],
                         [_228,_230,_232]).
comppopt11__1(_228,_230,_232) :- 
        [other] = _234, [list|_208] = _236, [list|_192] = _238, 
        comppopt1(_208,_192),
        normalize_result([_234,_236,_238],
                         [_228,_230,_232]).
comppopt11__1(_228,_230,_232) :- 
        [other] = _234, [list|_208] = _236, [list|_192] = _238, 
        comppopt1(_208,_192),
        normalize_result([_234,_236,_238],
                         [_228,_230,_232]).
comppopt11__1(_228,_230,_232) :- 
        [other] = _234, [list|_208] = _236, [list|_192] = _238, 
        comppopt1(_208,_192),
        normalize_result([_234,_236,_238],
                         [_228,_230,_232]).
comppopt11__1(_228,_230,_232) :- 
        [other] = _234, [list|_208] = _236, [list|_192] = _238, 
        comppopt1(_208,_192),
        normalize_result([_234,_236,_238],
                         [_228,_230,_232]).
comppopt11__1(_204,_206,_208) :- 
        _169 = _210, _184 = _212, [list|_168] = _214, 
        comppopt1(_184,_168),
        normalize_result([_210,_212,_214],
                         [_204,_206,_208]).
comppopt1av__1(_116,_118) :- 
        [list] = _120, [list] = _122, 
        normalize_result([_120,_122],
                          [_116,_118]).
comppopt1a__1(_255,_257) :- 
        [list|_234] = _259, [list|_212] = _261, 
        poptuni2bld(_227,_158),
        comppopt1a(_234,_212),
        normalize_result([_259,_261],
                         [_255,_257]).
comppopt1a__1(_202,_204) :- 
        [list|_164] = _206, _102 = _208, 
        comppopt11(_183,_164,_102),
        normalize_result([_206,_208],
                         [_202,_204]).
poptuni2bld__1(_116,_118) :- 
        [other] = _120, [other] = _122, 
        normalize_result([_120,_122],
                          [_116,_118]).
poptuni2bld__1(_116,_118) :- 
        [other] = _120, [other] = _122, 
        normalize_result([_120,_122],
                          [_116,_118]).
poptuni2bld__1(_116,_118) :- 
        [other] = _120, [other] = _122, 
        normalize_result([_120,_122],
                          [_116,_118]).
poptuni2bld__1(_116,_118) :- 
        [other] = _120, [other] = _122, 
        normalize_result([_120,_122],
                          [_116,_118]).
poptuni2bld__1(_116,_118) :- 
        [other] = _120, [other] = _122, 
        normalize_result([_120,_122],
                          [_116,_118]).
poptuni2bld__1(_116,_118) :- 
        [atom] = _120, [atom] = _122, 
        normalize_result([_120,_122],
                          [_116,_118]).
poptuni2bld__1(_116,_118) :- 
        [other] = _120, [other] = _122, 
        normalize_result([_120,_122],
                          [_116,_118]).
poptuni2bld__1(_116,_118) :- 
        [other] = _120, [other] = _122, 
        normalize_result([_120,_122],
                          [_116,_118]).
comppopt4__1(_173,_175,_177,_179,_181) :- 
        [list] = _183, _88 = _185, _102 = _187, _116 = _189, [list] = _191, 
        normalize_result([_183,_185,_187,_189,_191],
                          [_173,_175,_177,_179,_181]).
comppopt4__1(_410,_412,_414,_416,_418) :- 
        [list|_377] = _420, _362 = _422, _116 = _424, _130 = _426, _144 = _428, 
        poptbuiltin(_348,_130,_144,_208),
        'my ='(_364,_362),
        comppopt4(_377,_364,_116,_130,_208),
        normalize_result([_420,_422,_424,_426,_428],
                         [_410,_412,_414,_416,_418]).
comppopt4__1(_489,_491,_493,_495,_497) :- 
        [list|_453] = _499, _102 = _501, _116 = _503, _130 = _505, _440 = _507, 
        peepredundant(_406,_453,_102,_208,_116,_426),
        'my =:='(_426,[num]),
        'my ='(_440,_438),
        comppopt4(_453,_208,_116,_130,_438),
        normalize_result([_499,_501,_503,_505,_507],
                         [_489,_491,_493,_495,_497]).
comppopt4__1(_509,_511,_513,_515,_517) :- 
        [list|_473] = _519, _102 = _521, _116 = _523, _130 = _525, _460 = _527, 
        peepredundant(_422,_473,_102,_208,_116,_442),
        'my =\\='(_442,[num]),
        'my ='(_460,[list|_457]),
        comppopt4(_473,_208,_116,_130,_457),
        normalize_result([_519,_521,_523,_525,_527],
                         [_509,_511,_513,_515,_517]).
poptbuiltin__1(_298,_300,_302,_304) :- 
        [other] = _306, _88 = _308, [list|_242] = _310, _242 = _312, 
        compbuiltin(_263,_170,_184),
        notmember1([other],_88),
        normalize_result([_306,_308,_310,_312],
                         [_298,_300,_302,_304]).
poptbuiltin__1(_298,_300,_302,_304) :- 
        [other] = _306, _88 = _308, [list|_242] = _310, _242 = _312, 
        compbuiltin(_263,_170,_184),
        notmember1([other],_88),
        normalize_result([_306,_308,_310,_312],
                         [_298,_300,_302,_304]).
poptbuiltin__1(_308,_310,_312,_314) :- 
        [other] = _316, _88 = _318, [list,list|_122] = _320, _122 = _322, 
        compbuiltin(_273,_178,_192),
        notmember1([other],_88),
        normalize_result([_316,_318,_320,_322],
                         [_308,_310,_312,_314]).
compbuiltin__1(_139,_141,_143) :- 
        [atom] = _145, [num] = _147, [num] = _149, 
        normalize_result([_145,_147,_149],
                          [_139,_141,_143]).
compbuiltin__1(_139,_141,_143) :- 
        [atom] = _145, [num] = _147, [num] = _149, 
        normalize_result([_145,_147,_149],
                          [_139,_141,_143]).
notmember1__1(_112,_114) :- 
        _101 = _116, [list] = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
notmember1__1(_228,_230) :- 
        _207 = _232, [list|_178] = _234, 
        'my =\\='(_207,_198),
        notmember1(_207,_178),
        normalize_result([_232,_234],
                         [_228,_230]).
poptmovreg__1(_409,_411,_413,_415,_417) :- 
        _342 = _419, _86 = _421, _100 = _423, _376 = _425, _369 = _427, 
        poptmovreg0(_342,_86,_100,_190),
        peepchk(_376,_86),
        'my ='(_369,[list|_366]),
        comppopt1(_376,_366),
        normalize_result([_419,_421,_423,_425,_427],
                         [_409,_411,_413,_415,_417]).
poptmovreg__1(_295,_297,_299,_301,_303) :- 
        _231 = _305, _86 = _307, _100 = _309, _268 = _311, _261 = _313, 
        'my ='(_261,[list,list|_178]),
        comppopt1(_268,_178),
        normalize_result([_305,_307,_309,_311,_313],
                         [_295,_297,_299,_301,_303]).
poptmovreg0__1(_154,_156,_158,_160) :- 
        [other] = _162, _88 = _164, _102 = _166, [other] = _168, 
        normalize_result([_162,_164,_166,_168],
                          [_154,_156,_158,_160]).
poptmovreg0__1(_154,_156,_158,_160) :- 
        [other] = _162, _88 = _164, _102 = _166, [other] = _168, 
        normalize_result([_162,_164,_166,_168],
                          [_154,_156,_158,_160]).
poptmovreg0__1(_154,_156,_158,_160) :- 
        [other] = _162, _88 = _164, _102 = _166, [other] = _168, 
        normalize_result([_162,_164,_166,_168],
                          [_154,_156,_158,_160]).
poptmovreg0__1(_154,_156,_158,_160) :- 
        [other] = _162, _88 = _164, _102 = _166, [other] = _168, 
        normalize_result([_162,_164,_166,_168],
                          [_154,_156,_158,_160]).
poptchkmember__1(_151,_153,_155) :- 
        _137 = _157, [list|_132] = _159, [num] = _161, 
        normalize_result([_157,_159,_161],
                          [_151,_153,_155]).
poptchkmember__1(_151,_153,_155) :- 
        _137 = _157, [list|_132] = _159, [num] = _161, 
        normalize_result([_157,_159,_161],
                          [_151,_153,_155]).
poptchkmember__1(_225,_227,_229) :- 
        _204 = _231, [list|_182] = _233, [num] = _235, 
        poptchkmember(_204,_182,_168),
        normalize_result([_231,_233,_235],
                         [_225,_227,_229]).
peepuse__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepuse__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepuse__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepuse__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepuse__1(_172,_174) :- 
        [other] = _176, _88 = _178, 
        'my =\\='(_154,[num]),
        normalize_result([_176,_178],
                         [_172,_174]).
peepuse__1(_172,_174) :- 
        [other] = _176, _88 = _178, 
        'my =\\='(_154,[num]),
        normalize_result([_176,_178],
                         [_172,_174]).
peepuse__1(_172,_174) :- 
        [other] = _176, _88 = _178, 
        'my =\\='(_154,[num]),
        normalize_result([_176,_178],
                         [_172,_174]).
peepuse__1(_172,_174) :- 
        [other] = _176, _88 = _178, 
        'my =\\='(_154,[num]),
        normalize_result([_176,_178],
                         [_172,_174]).
peepuse__1(_172,_174) :- 
        [other] = _176, _88 = _178, 
        'my =\\='(_154,[num]),
        normalize_result([_176,_178],
                         [_172,_174]).
peepuse__1(_172,_174) :- 
        [other] = _176, _88 = _178, 
        'my =\\='(_154,[num]),
        normalize_result([_176,_178],
                         [_172,_174]).
peepchk__1(_112,_114) :- 
        [list] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepchk__1(_187,_189) :- 
        [list|_152] = _191, _102 = _193, 
        peepterm(_169,_102),
        normalize_result([_191,_193],
                         [_187,_189]).
peepchk__1(_185,_187) :- 
        [list|_167] = _189, _102 = _191, 
        peepchk(_167,_102),
        normalize_result([_189,_191],
                         [_185,_187]).
peepterm__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepterm__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepterm__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepterm__1(_112,_114) :- 
        [atom] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepterm__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepterm__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepterm__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepterm__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepterm__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepterm__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepterm__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepterm__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepterm__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepterm__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepterm__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepterm__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepterm__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepterm__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepterm__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepterm__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepterm__1(_112,_114) :- 
        [other] = _116, _88 = _118, 
        normalize_result([_116,_118],
                          [_112,_114]).
peepredundant__1(_190,_192,_194,_196,_198,_200) :- 
        [atom] = _202, _88 = _204, _102 = _206, _102 = _208, _128 = _210, [num] = _212, 
        normalize_result([_202,_204,_206,_208,_210,_212],
                          [_190,_192,_194,_196,_198,_200]).
peepredundant__1(_301,_303,_305,_307,_309,_311) :- 
        _271 = _313, _86 = _315, _100 = _317, _114 = _319, _128 = _321, _142 = _323, 
        peepelim(_271,_86,_100,_114,_128,_142),
        normalize_result([_313,_315,_317,_319,_321,_323],
                         [_301,_303,_305,_307,_309,_311]).
peepredundant__1(_283,_285,_287,_289,_291,_293) :- 
        _213 = _295, _86 = _297, _236 = _299, _238 = _301, _128 = _303, _254 = _305, 
        'my ='(_238,_236),
        'my ='(_254,[num]),
        normalize_result([_295,_297,_299,_301,_303,_305],
                         [_283,_285,_287,_289,_291,_293]).
peepelim__1(_210,_212,_214,_216,_218,_220) :- 
        [other] = _222, _88 = _224, _180 = _226, [list|_180] = _228, _144 = _230, [num] = _232, 
        normalize_result([_222,_224,_226,_228,_230,_232],
                          [_210,_212,_214,_216,_218,_220]).
peepelim__1(_339,_341,_343,_345,_347,_349) :- 
        [other] = _351, _88 = _353, _305 = _355, _307 = _357, _130 = _359, _293 = _361, 
        member1([other],_305),
        'my ='(_293,[num]),
        'my ='(_307,_305),
        normalize_result([_351,_353,_355,_357,_359,_361],
                         [_339,_341,_343,_345,_347,_349]).
peepelim__1(_307,_309,_311,_313,_315,_317) :- 
        [other] = _319, _88 = _321, _275 = _323, _278 = _325, _130 = _327, _260 = _329, 
        'my ='(_260,[num]),
        'my ='(_278,[list|_275]),
        normalize_result([_319,_321,_323,_325,_327,_329],
                         [_307,_309,_311,_313,_315,_317]).
peepelim__1(_339,_341,_343,_345,_347,_349) :- 
        [other] = _351, _88 = _353, _305 = _355, _307 = _357, _130 = _359, _293 = _361, 
        member1([other],_305),
        'my ='(_293,[num]),
        'my ='(_307,_305),
        normalize_result([_351,_353,_355,_357,_359,_361],
                         [_339,_341,_343,_345,_347,_349]).
peepelim__1(_307,_309,_311,_313,_315,_317) :- 
        [other] = _319, _88 = _321, _275 = _323, _278 = _325, _130 = _327, _260 = _329, 
        'my ='(_260,[num]),
        'my ='(_278,[list|_275]),
        normalize_result([_319,_321,_323,_325,_327,_329],
                         [_307,_309,_311,_313,_315,_317]).
peepelim__1(_339,_341,_343,_345,_347,_349) :- 
        [other] = _351, _88 = _353, _305 = _355, _307 = _357, _130 = _359, _293 = _361, 
        member1([other],_305),
        'my ='(_293,[num]),
        'my ='(_307,_305),
        normalize_result([_351,_353,_355,_357,_359,_361],
                         [_339,_341,_343,_345,_347,_349]).
peepelim__1(_307,_309,_311,_313,_315,_317) :- 
        [other] = _319, _88 = _321, _275 = _323, _278 = _325, _130 = _327, _260 = _329, 
        'my ='(_260,[num]),
        'my ='(_278,[list|_275]),
        normalize_result([_319,_321,_323,_325,_327,_329],
                         [_307,_309,_311,_313,_315,_317]).
peepelim__1(_339,_341,_343,_345,_347,_349) :- 
        [other] = _351, _88 = _353, _305 = _355, _307 = _357, _130 = _359, _293 = _361, 
        member1([other],_305),
        'my ='(_293,[num]),
        'my ='(_307,_305),
        normalize_result([_351,_353,_355,_357,_359,_361],
                         [_339,_341,_343,_345,_347,_349]).
peepelim__1(_307,_309,_311,_313,_315,_317) :- 
        [other] = _319, _88 = _321, _275 = _323, _278 = _325, _130 = _327, _260 = _329, 
        'my ='(_260,[num]),
        'my ='(_278,[list|_275]),
        normalize_result([_319,_321,_323,_325,_327,_329],
                         [_307,_309,_311,_313,_315,_317]).
peepelim__1(_339,_341,_343,_345,_347,_349) :- 
        [other] = _351, _88 = _353, _305 = _355, _307 = _357, _130 = _359, _293 = _361, 
        member1([other],_305),
        'my ='(_293,[num]),
        'my ='(_307,_305),
        normalize_result([_351,_353,_355,_357,_359,_361],
                         [_339,_341,_343,_345,_347,_349]).
peepelim__1(_307,_309,_311,_313,_315,_317) :- 
        [other] = _319, _88 = _321, _275 = _323, _278 = _325, _130 = _327, _260 = _329, 
        'my ='(_260,[num]),
        'my ='(_278,[list|_275]),
        normalize_result([_319,_321,_323,_325,_327,_329],
                         [_307,_309,_311,_313,_315,_317]).
peepelim__1(_287,_289,_291,_293,_295,_297) :- 
        [other] = _299, _88 = _301, _259 = _303, _116 = _305, _130 = _307, [num] = _309, 
        peepelimupd(_259,_184,[other],_116),
        normalize_result([_299,_301,_303,_305,_307,_309],
                         [_287,_289,_291,_293,_295,_297]).
peepelim__1(_339,_341,_343,_345,_347,_349) :- 
        [other] = _351, _88 = _353, _305 = _355, _307 = _357, _130 = _359, _293 = _361, 
        member1([other],_305),
        'my ='(_293,[num]),
        'my ='(_307,_305),
        normalize_result([_351,_353,_355,_357,_359,_361],
                         [_339,_341,_343,_345,_347,_349]).
peepelim__1(_330,_332,_334,_336,_338,_340) :- 
        [other] = _342, _88 = _344, _299 = _346, _116 = _348, _130 = _350, _286 = _352, 
        'my ='(_286,[num]),
        peepelimupd(_299,_210,[other],_116),
        normalize_result([_342,_344,_346,_348,_350,_352],
                         [_330,_332,_334,_336,_338,_340]).
peepelim__1(_339,_341,_343,_345,_347,_349) :- 
        [other] = _351, _88 = _353, _297 = _355, _116 = _357, _130 = _359, [num] = _361, 
        peepdel(_297,[other],_309),
        peepdel(_309,[other],_116),
        normalize_result([_351,_353,_355,_357,_359,_361],
                         [_339,_341,_343,_345,_347,_349]).
peepelim__1(_339,_341,_343,_345,_347,_349) :- 
        [other] = _351, _88 = _353, _305 = _355, _307 = _357, _130 = _359, _293 = _361, 
        member1([other],_305),
        'my ='(_293,[num]),
        'my ='(_307,_305),
        normalize_result([_351,_353,_355,_357,_359,_361],
                         [_339,_341,_343,_345,_347,_349]).
peepelim__1(_330,_332,_334,_336,_338,_340) :- 
        [other] = _342, _88 = _344, _299 = _346, _116 = _348, _130 = _350, _286 = _352, 
        'my ='(_286,[num]),
        peepelimupd(_299,_210,[other],_116),
        normalize_result([_342,_344,_346,_348,_350,_352],
                         [_330,_332,_334,_336,_338,_340]).
peepelim__1(_339,_341,_343,_345,_347,_349) :- 
        [other] = _351, _88 = _353, _305 = _355, _307 = _357, _130 = _359, _293 = _361, 
        member1([other],_305),
        'my ='(_293,[num]),
        'my ='(_307,_305),
        normalize_result([_351,_353,_355,_357,_359,_361],
                         [_339,_341,_343,_345,_347,_349]).
peepelim__1(_330,_332,_334,_336,_338,_340) :- 
        [other] = _342, _88 = _344, _299 = _346, _116 = _348, _130 = _350, _286 = _352, 
        'my ='(_286,[num]),
        peepelimupd(_299,_210,[other],_116),
        normalize_result([_342,_344,_346,_348,_350,_352],
                         [_330,_332,_334,_336,_338,_340]).
peepelim__1(_339,_341,_343,_345,_347,_349) :- 
        [other] = _351, _88 = _353, _305 = _355, _307 = _357, _130 = _359, _293 = _361, 
        member1([other],_305),
        'my ='(_293,[num]),
        'my ='(_307,_305),
        normalize_result([_351,_353,_355,_357,_359,_361],
                         [_339,_341,_343,_345,_347,_349]).
peepelim__1(_330,_332,_334,_336,_338,_340) :- 
        [other] = _342, _88 = _344, _299 = _346, _116 = _348, _130 = _350, _286 = _352, 
        'my ='(_286,[num]),
        peepelimupd(_299,_210,[other],_116),
        normalize_result([_342,_344,_346,_348,_350,_352],
                         [_330,_332,_334,_336,_338,_340]).
peepelim__1(_339,_341,_343,_345,_347,_349) :- 
        [other] = _351, _88 = _353, _305 = _355, _307 = _357, _130 = _359, _293 = _361, 
        member1([other],_305),
        'my ='(_293,[num]),
        'my ='(_307,_305),
        normalize_result([_351,_353,_355,_357,_359,_361],
                         [_339,_341,_343,_345,_347,_349]).
peepelim__1(_330,_332,_334,_336,_338,_340) :- 
        [other] = _342, _88 = _344, _299 = _346, _116 = _348, _130 = _350, _286 = _352, 
        'my ='(_286,[num]),
        peepelimupd(_299,_210,[other],_116),
        normalize_result([_342,_344,_346,_348,_350,_352],
                         [_330,_332,_334,_336,_338,_340]).
peepelim__1(_270,_272,_274,_276,_278,_280) :- 
        [other] = _282, _88 = _284, _243 = _286, _116 = _288, _130 = _290, [num] = _292, 
        peepdel(_243,[other],_116),
        normalize_result([_282,_284,_286,_288,_290,_292],
                         [_270,_272,_274,_276,_278,_280]).
peepelim__1(_270,_272,_274,_276,_278,_280) :- 
        [other] = _282, _88 = _284, _243 = _286, _116 = _288, _130 = _290, [num] = _292, 
        peepdel(_243,[other],_116),
        normalize_result([_282,_284,_286,_288,_290,_292],
                         [_270,_272,_274,_276,_278,_280]).
peepelim__1(_270,_272,_274,_276,_278,_280) :- 
        [other] = _282, _88 = _284, _243 = _286, _116 = _288, _130 = _290, [num] = _292, 
        peepdel(_243,[other],_116),
        normalize_result([_282,_284,_286,_288,_290,_292],
                         [_270,_272,_274,_276,_278,_280]).
peepelim__1(_270,_272,_274,_276,_278,_280) :- 
        [other] = _282, _88 = _284, _243 = _286, _116 = _288, _130 = _290, [num] = _292, 
        peepdel(_243,[other],_116),
        normalize_result([_282,_284,_286,_288,_290,_292],
                         [_270,_272,_274,_276,_278,_280]).
peepelim__1(_270,_272,_274,_276,_278,_280) :- 
        [other] = _282, _88 = _284, _243 = _286, _116 = _288, _130 = _290, [num] = _292, 
        peepdel(_243,[other],_116),
        normalize_result([_282,_284,_286,_288,_290,_292],
                         [_270,_272,_274,_276,_278,_280]).
peepelim__1(_270,_272,_274,_276,_278,_280) :- 
        [other] = _282, _88 = _284, _243 = _286, _116 = _288, _130 = _290, [num] = _292, 
        peepdel(_243,[other],_116),
        normalize_result([_282,_284,_286,_288,_290,_292],
                         [_270,_272,_274,_276,_278,_280]).
peepelim__1(_270,_272,_274,_276,_278,_280) :- 
        [other] = _282, _88 = _284, _243 = _286, _116 = _288, _130 = _290, [num] = _292, 
        peepdel(_243,[other],_116),
        normalize_result([_282,_284,_286,_288,_290,_292],
                         [_270,_272,_274,_276,_278,_280]).
peepelim__1(_270,_272,_274,_276,_278,_280) :- 
        [other] = _282, _88 = _284, _243 = _286, _116 = _288, _130 = _290, [num] = _292, 
        peepdel(_243,[other],_116),
        normalize_result([_282,_284,_286,_288,_290,_292],
                         [_270,_272,_274,_276,_278,_280]).
peepelim__1(_270,_272,_274,_276,_278,_280) :- 
        [other] = _282, _88 = _284, _243 = _286, _116 = _288, _130 = _290, [num] = _292, 
        peepdel(_243,[other],_116),
        normalize_result([_282,_284,_286,_288,_290,_292],
                         [_270,_272,_274,_276,_278,_280]).
peepelim__1(_270,_272,_274,_276,_278,_280) :- 
        [other] = _282, _88 = _284, _243 = _286, _116 = _288, _130 = _290, [num] = _292, 
        peepdel(_243,[other],_116),
        normalize_result([_282,_284,_286,_288,_290,_292],
                         [_270,_272,_274,_276,_278,_280]).
peepelim__1(_270,_272,_274,_276,_278,_280) :- 
        [other] = _282, _88 = _284, _243 = _286, _116 = _288, _130 = _290, [num] = _292, 
        peepdel(_243,[other],_116),
        normalize_result([_282,_284,_286,_288,_290,_292],
                         [_270,_272,_274,_276,_278,_280]).
peepelim__1(_270,_272,_274,_276,_278,_280) :- 
        [other] = _282, _88 = _284, _243 = _286, _116 = _288, _130 = _290, [num] = _292, 
        peepdel(_243,[other],_116),
        normalize_result([_282,_284,_286,_288,_290,_292],
                         [_270,_272,_274,_276,_278,_280]).
peepelim__1(_287,_289,_291,_293,_295,_297) :- 
        [other] = _299, _88 = _301, _259 = _303, _116 = _305, _130 = _307, [num] = _309, 
        peepelimupd(_259,_184,[other],_116),
        normalize_result([_299,_301,_303,_305,_307,_309],
                         [_287,_289,_291,_293,_295,_297]).
peepelim__1(_270,_272,_274,_276,_278,_280) :- 
        [other] = _282, _88 = _284, _243 = _286, _116 = _288, _130 = _290, [num] = _292, 
        peepdel(_243,[other],_116),
        normalize_result([_282,_284,_286,_288,_290,_292],
                         [_270,_272,_274,_276,_278,_280]).
peepelim__1(_270,_272,_274,_276,_278,_280) :- 
        [other] = _282, _88 = _284, _243 = _286, _116 = _288, _130 = _290, [num] = _292, 
        peepdel(_243,[other],_116),
        normalize_result([_282,_284,_286,_288,_290,_292],
                         [_270,_272,_274,_276,_278,_280]).
peepelim__1(_270,_272,_274,_276,_278,_280) :- 
        [other] = _282, _88 = _284, _243 = _286, _116 = _288, _130 = _290, [num] = _292, 
        peepdel(_243,[other],_116),
        normalize_result([_282,_284,_286,_288,_290,_292],
                         [_270,_272,_274,_276,_278,_280]).
peepelim__1(_308,_310,_312,_314,_316,_318) :- 
        [other] = _320, _88 = _322, _102 = _324, [list] = _326, _132 = _328, [num] = _330, 
        'my >='(_270,[num]),
        member1([other],_132),
        normalize_result([_320,_322,_324,_326,_328,_330],
                         [_308,_310,_312,_314,_316,_318]).
peepelim__1(_196,_198,_200,_202,_204,_206) :- 
        [other] = _208, _88 = _210, _102 = _212, [list] = _214, _132 = _216, [num] = _218, 
        normalize_result([_208,_210,_212,_214,_216,_218],
                          [_196,_198,_200,_202,_204,_206]).
peepelim__1(_196,_198,_200,_202,_204,_206) :- 
        [atom] = _208, _88 = _210, _102 = _212, [list] = _214, _132 = _216, [num] = _218, 
        normalize_result([_208,_210,_212,_214,_216,_218],
                          [_196,_198,_200,_202,_204,_206]).
peepelim__1(_382,_384,_386,_388,_390,_392) :- 
        [other] = _394, _322 = _396, _102 = _398, [list] = _400, _132 = _402, _146 = _404, 
        'my ='(_322,[list|_319]),
        'my >='(_338,[num]),
        poptchkmember([other],_132,_146),
        normalize_result([_394,_396,_398,_400,_402,_404],
                         [_382,_384,_386,_388,_390,_392]).
peepelim__1(_250,_252,_254,_256,_258,_260) :- 
        [other] = _262, _88 = _264, _102 = _266, [list] = _268, _132 = _270, _224 = _272, 
        'my ='(_224,[num]),
        normalize_result([_262,_264,_266,_268,_270,_272],
                         [_250,_252,_254,_256,_258,_260]).
peepelim__1(_196,_198,_200,_202,_204,_206) :- 
        [other] = _208, _88 = _210, _102 = _212, [list] = _214, _132 = _216, [num] = _218, 
        normalize_result([_208,_210,_212,_214,_216,_218],
                          [_196,_198,_200,_202,_204,_206]).
peepelim__1(_196,_198,_200,_202,_204,_206) :- 
        [other] = _208, _88 = _210, _102 = _212, [list] = _214, _132 = _216, [num] = _218, 
        normalize_result([_208,_210,_212,_214,_216,_218],
                          [_196,_198,_200,_202,_204,_206]).
peepelim__1(_196,_198,_200,_202,_204,_206) :- 
        [other] = _208, _88 = _210, _102 = _212, [list] = _214, _132 = _216, [num] = _218, 
        normalize_result([_208,_210,_212,_214,_216,_218],
                          [_196,_198,_200,_202,_204,_206]).
peepelim__1(_196,_198,_200,_202,_204,_206) :- 
        [other] = _208, _88 = _210, _102 = _212, [list] = _214, _132 = _216, [num] = _218, 
        normalize_result([_208,_210,_212,_214,_216,_218],
                          [_196,_198,_200,_202,_204,_206]).
peepelim__1(_196,_198,_200,_202,_204,_206) :- 
        [other] = _208, _88 = _210, _102 = _212, [list] = _214, _132 = _216, [num] = _218, 
        normalize_result([_208,_210,_212,_214,_216,_218],
                          [_196,_198,_200,_202,_204,_206]).
peepelim__1(_196,_198,_200,_202,_204,_206) :- 
        [other] = _208, _88 = _210, _102 = _212, [list] = _214, _132 = _216, [num] = _218, 
        normalize_result([_208,_210,_212,_214,_216,_218],
                          [_196,_198,_200,_202,_204,_206]).
peepelim__1(_196,_198,_200,_202,_204,_206) :- 
        [other] = _208, _88 = _210, _102 = _212, [list] = _214, _132 = _216, [num] = _218, 
        normalize_result([_208,_210,_212,_214,_216,_218],
                          [_196,_198,_200,_202,_204,_206]).
peepelim__1(_196,_198,_200,_202,_204,_206) :- 
        [other] = _208, _88 = _210, _102 = _212, [list] = _214, _132 = _216, [num] = _218, 
        normalize_result([_208,_210,_212,_214,_216,_218],
                          [_196,_198,_200,_202,_204,_206]).
peepelim__1(_196,_198,_200,_202,_204,_206) :- 
        [other] = _208, _88 = _210, _102 = _212, [list] = _214, _132 = _216, [num] = _218, 
        normalize_result([_208,_210,_212,_214,_216,_218],
                          [_196,_198,_200,_202,_204,_206]).
peepelim__1(_293,_295,_297,_299,_301,_303) :- 
        [other] = _305, _88 = _307, _262 = _309, _264 = _311, _130 = _313, [num] = _315, 
        'my ='(_250,[num]),
        'my ='(_264,_262),
        normalize_result([_305,_307,_309,_311,_313,_315],
                         [_293,_295,_297,_299,_301,_303]).
peepelim__1(_250,_252,_254,_256,_258,_260) :- 
        [other] = _262, _88 = _264, _102 = _266, _224 = _268, _130 = _270, [num] = _272, 
        'my ='(_224,[list]),
        normalize_result([_262,_264,_266,_268,_270,_272],
                         [_250,_252,_254,_256,_258,_260]).
peepelim__1(_293,_295,_297,_299,_301,_303) :- 
        [other] = _305, _88 = _307, _262 = _309, _264 = _311, _130 = _313, [num] = _315, 
        'my ='(_250,[num]),
        'my ='(_264,_262),
        normalize_result([_305,_307,_309,_311,_313,_315],
                         [_293,_295,_297,_299,_301,_303]).
peepelim__1(_250,_252,_254,_256,_258,_260) :- 
        [other] = _262, _88 = _264, _102 = _266, _224 = _268, _130 = _270, [num] = _272, 
        'my ='(_224,[list]),
        normalize_result([_262,_264,_266,_268,_270,_272],
                         [_250,_252,_254,_256,_258,_260]).
peepelim__1(_293,_295,_297,_299,_301,_303) :- 
        [other] = _305, _88 = _307, _262 = _309, _264 = _311, _130 = _313, [num] = _315, 
        'my ='(_250,[num]),
        'my ='(_264,_262),
        normalize_result([_305,_307,_309,_311,_313,_315],
                         [_293,_295,_297,_299,_301,_303]).
peepelim__1(_250,_252,_254,_256,_258,_260) :- 
        [other] = _262, _88 = _264, _102 = _266, _224 = _268, _130 = _270, [num] = _272, 
        'my ='(_224,[list]),
        normalize_result([_262,_264,_266,_268,_270,_272],
                         [_250,_252,_254,_256,_258,_260]).
peepelim__1(_293,_295,_297,_299,_301,_303) :- 
        [other] = _305, _88 = _307, _262 = _309, _264 = _311, _130 = _313, [num] = _315, 
        'my ='(_250,[num]),
        'my ='(_264,_262),
        normalize_result([_305,_307,_309,_311,_313,_315],
                         [_293,_295,_297,_299,_301,_303]).
peepelim__1(_250,_252,_254,_256,_258,_260) :- 
        [other] = _262, _88 = _264, _102 = _266, _224 = _268, _130 = _270, [num] = _272, 
        'my ='(_224,[list]),
        normalize_result([_262,_264,_266,_268,_270,_272],
                         [_250,_252,_254,_256,_258,_260]).
apeepelim__1(_293,_295,_297,_299,_301,_303) :- 
        [other] = _305, _88 = _307, _262 = _309, _264 = _311, _130 = _313, [num] = _315, 
        'my ='(_250,[num]),
        'my ='(_264,_262),
        normalize_result([_305,_307,_309,_311,_313,_315],
                         [_293,_295,_297,_299,_301,_303]).
peepelim__1(_250,_252,_254,_256,_258,_260) :- 
        [other] = _262, _88 = _264, _102 = _266, _224 = _268, _130 = _270, [num] = _272, 
        'my ='(_224,[list]),
        normalize_result([_262,_264,_266,_268,_270,_272],
                         [_250,_252,_254,_256,_258,_260]).
peepelim__1(_293,_295,_297,_299,_301,_303) :- 
        [other] = _305, _88 = _307, _262 = _309, _264 = _311, _130 = _313, [num] = _315, 
        'my ='(_250,[num]),
        'my ='(_264,_262),
        normalize_result([_305,_307,_309,_311,_313,_315],
                         [_293,_295,_297,_299,_301,_303]).
peepelim__1(_250,_252,_254,_256,_258,_260) :- 
        [other] = _262, _88 = _264, _102 = _266, _224 = _268, _130 = _270, [num] = _272, 
        'my ='(_224,[list]),
        normalize_result([_262,_264,_266,_268,_270,_272],
                         [_250,_252,_254,_256,_258,_260]).
peepelim__1(_196,_198,_200,_202,_204,_206) :- 
        [other] = _208, _88 = _210, _102 = _212, [list] = _214, _132 = _216, [num] = _218, 
        normalize_result([_208,_210,_212,_214,_216,_218],
                          [_196,_198,_200,_202,_204,_206]).
peepelim__1(_196,_198,_200,_202,_204,_206) :- 
        [other] = _208, _88 = _210, _102 = _212, [list] = _214, _132 = _216, [num] = _218, 
        normalize_result([_208,_210,_212,_214,_216,_218],
                          [_196,_198,_200,_202,_204,_206]).
peepelim__1(_196,_198,_200,_202,_204,_206) :- 
        [other] = _208, _88 = _210, _102 = _212, [list] = _214, _132 = _216, [num] = _218, 
        normalize_result([_208,_210,_212,_214,_216,_218],
                          [_196,_198,_200,_202,_204,_206]).
peepdel__1(_135,_137,_139) :- 
        [list] = _141, _88 = _143, [list] = _145, 
        normalize_result([_141,_143,_145],
                          [_135,_137,_139]).
peepdel__1(_305,_307,_309) :- 
        [list|_278] = _311, _253 = _313, _269 = _315, 
        'my ='(_255,_253),
        'my ='(_269,_267),
        peepdel(_278,_253,_267),
        normalize_result([_311,_313,_315],
                         [_305,_307,_309]).
peepdel__1(_282,_284,_286) :- 
        [list|_258] = _288, _102 = _290, _249 = _292, 
        'my ='(_249,[list|_246]),
        peepdel(_258,_102,_246),
        normalize_result([_288,_290,_292],
                         [_282,_284,_286]).
peepelimupd__1(_244,_246,_248,_250) :- 
        _221 = _252, _86 = _254, _100 = _256, [list|_200] = _258, 
        peepdel(_221,[other],_200),
        normalize_result([_252,_254,_256,_258],
                         [_244,_246,_248,_250]).
member1__1(_128,_130) :- 
        _117 = _132, [list|_116] = _134, 
        normalize_result([_132,_134],
                          [_128,_130]).
member1__1(_185,_187) :- 
        _167 = _189, [list|_152] = _191, 
        member1(_167,_152),
        normalize_result([_189,_191],
                         [_185,_187]).

%---------------- Definitions of tabled preds --------------

:- table member1__1/2.
:- table peepelimupd__1/4.
:- table peepdel__1/3.
:- table apeepelim__1/6.
:- table peepelim__1/6.
:- table peepredundant__1/6.
:- table peepterm__1/2.
:- table peepchk__1/2.
:- table peepuse__1/2.
:- table poptchkmember__1/3.
:- table poptmovreg0__1/4.
:- table poptmovreg__1/5.
:- table notmember1__1/2.
:- table compbuiltin__1/3.
:- table poptbuiltin__1/4.
:- table comppopt4__1/5.
:- table poptuni2bld__1/2.
:- table comppopt1a__1/2.
:- table comppopt1av__1/2.
:- table comppopt11__1/3.
:- table comppopt1__1/2.
:- table comppeepopt__1/3.

member1(_63,_65) :- 
        member1__1(_67,_69),
        unify_sets([_63,_65], [_67,_69]).
peepelimupd(_63,_65,_67,_69) :- 
        peepelimupd__1(_71,_73,_75,_77),
        unify_sets([_63,_65,_67,_69], [_71,_73,_75,_77]).
peepdel(_63,_65,_67) :- 
        peepdel__1(_69,_71,_73),
        unify_sets([_63,_65,_67], [_69,_71,_73]).
apeepelim(_63,_65,_67,_69,_71,_73) :- 
        apeepelim__1(_75,_77,_79,_81,_83,_85),
        unify_sets([_63,_65,_67,_69,_71,_73], [_75,_77,_79,_81,_83,_85]).
peepelim(_63,_65,_67,_69,_71,_73) :- 
        peepelim__1(_75,_77,_79,_81,_83,_85),
        unify_sets([_63,_65,_67,_69,_71,_73], [_75,_77,_79,_81,_83,_85]).
peepredundant(_63,_65,_67,_69,_71,_73) :- 
        peepredundant__1(_75,_77,_79,_81,_83,_85),
        unify_sets([_63,_65,_67,_69,_71,_73], [_75,_77,_79,_81,_83,_85]).
peepterm(_63,_65) :- 
        peepterm__1(_67,_69),
        unify_sets([_63,_65], [_67,_69]).
peepchk(_63,_65) :- 
        peepchk__1(_67,_69),
        unify_sets([_63,_65], [_67,_69]).
peepuse(_63,_65) :- 
        peepuse__1(_67,_69),
        unify_sets([_63,_65], [_67,_69]).
poptchkmember(_63,_65,_67) :- 
        poptchkmember__1(_69,_71,_73),
        unify_sets([_63,_65,_67], [_69,_71,_73]).
poptmovreg0(_63,_65,_67,_69) :- 
        poptmovreg0__1(_71,_73,_75,_77),
        unify_sets([_63,_65,_67,_69], [_71,_73,_75,_77]).
poptmovreg(_63,_65,_67,_69,_71) :- 
        poptmovreg__1(_73,_75,_77,_79,_81),
        unify_sets([_63,_65,_67,_69,_71], [_73,_75,_77,_79,_81]).
notmember1(_63,_65) :- 
        notmember1__1(_67,_69),
        unify_sets([_63,_65], [_67,_69]).
compbuiltin(_63,_65,_67) :- 
        compbuiltin__1(_69,_71,_73),
        unify_sets([_63,_65,_67], [_69,_71,_73]).
poptbuiltin(_63,_65,_67,_69) :- 
        poptbuiltin__1(_71,_73,_75,_77),
        unify_sets([_63,_65,_67,_69], [_71,_73,_75,_77]).
comppopt4(_63,_65,_67,_69,_71) :- 
        comppopt4__1(_73,_75,_77,_79,_81),
        unify_sets([_63,_65,_67,_69,_71], [_73,_75,_77,_79,_81]).
poptuni2bld(_63,_65) :- 
        poptuni2bld__1(_67,_69),
        unify_sets([_63,_65], [_67,_69]).
comppopt1a(_63,_65) :- 
        comppopt1a__1(_67,_69),
        unify_sets([_63,_65], [_67,_69]).
comppopt1av(_63,_65) :- 
        comppopt1av__1(_67,_69),
        unify_sets([_63,_65], [_67,_69]).
comppopt11(_63,_65,_67) :- 
        comppopt11__1(_69,_71,_73),
        unify_sets([_63,_65,_67], [_69,_71,_73]).
comppopt1(_63,_65) :- 
        comppopt1__1(_67,_69),
        unify_sets([_63,_65], [_67,_69]).
comppeepopt(_63,_65,_67) :- 
        comppeepopt__1(_69,_71,_73),
        unify_sets([_63,_65,_67], [_69,_71,_73]).

%---------------- Tp ---------------------------------------

tp :- comppopt4__1(_64,_66,_68,_70,_72), fail.

tp :- member1__1(_64,_66), fail.
tp :- peepelimupd__1(_64,_66,_68,_70), fail.
tp :- peepdel__1(_64,_66,_68), fail.
tp :- apeepelim__1(_64,_66,_68,_70,_72,_74), fail.
tp :- peepelim__1(_64,_66,_68,_70,_72,_74), fail.
tp :- peepredundant__1(_64,_66,_68,_70,_72,_74), fail.
tp :- peepterm__1(_64,_66), fail.
tp :- peepchk__1(_64,_66), fail.
tp :- peepuse__1(_64,_66), fail.
tp :- poptchkmember__1(_64,_66,_68), fail.
tp :- poptmovreg0__1(_64,_66,_68,_70), fail.
tp :- poptmovreg__1(_64,_66,_68,_70,_72), fail.
tp :- notmember1__1(_64,_66), fail.
tp :- compbuiltin__1(_64,_66,_68), fail.
tp :- poptbuiltin__1(_64,_66,_68,_70), fail.

tp :- poptuni2bld__1(_64,_66), fail.
tp :- comppopt1a__1(_64,_66), fail.
tp :- comppopt1av__1(_64,_66), fail.
tp :- comppopt11__1(_64,_66,_68), fail.
tp :- comppopt1__1(_64,_66), fail.
tp :- comppeepopt__1(_64,_66,_68), fail.
tp.


%---------------- Builtin Preds ----------------------------

'my ='(X1,X2) :- 'my =_1'(Y1,Y2), unify_sets([X1,X2],[Y1,Y2]).
'my \\=='(X1,X2) :- 'my \\==__1'(Y1,Y2), unify_sets([X1,X2],[Y1,Y2]).
'my is'([num],[num]).
'my <'([num],[num]).
'my >'([num],[num]).
'my >='([num],[num]).
'my =<'([num],[num]).
'my =:='([num],[num]).
'my =\\='([num],[num]).

'my =_1'(X,X).
'my \\==__1'(_,_).


%---------------- Show Result ------------------------------

show_facts :- member1__1(_63,_65),
              numbervars([_63,_65]),
              write(member1(_63,_65)), nl, fail.
show_facts :- peepelimupd__1(_63,_65,_67,_69),
              numbervars([_63,_65,_67,_69]),
              write(peepelimupd(_63,_65,_67,_69)), nl, fail.
show_facts :- peepdel__1(_63,_65,_67),
              numbervars([_63,_65,_67]),
              write(peepdel(_63,_65,_67)), nl, fail.
show_facts :- apeepelim__1(_63,_65,_67,_69,_71,_73),
              numbervars([_63,_65,_67,_69,_71,_73]),
              write(apeepelim(_63,_65,_67,_69,_71,_73)), nl, fail.
show_facts :- peepelim__1(_63,_65,_67,_69,_71,_73),
              numbervars([_63,_65,_67,_69,_71,_73]),
              write(peepelim(_63,_65,_67,_69,_71,_73)), nl, fail.
show_facts :- peepredundant__1(_63,_65,_67,_69,_71,_73),
              numbervars([_63,_65,_67,_69,_71,_73]),
              write(peepredundant(_63,_65,_67,_69,_71,_73)), nl, fail.
show_facts :- peepterm__1(_63,_65),
              numbervars([_63,_65]),
              write(peepterm(_63,_65)), nl, fail.
show_facts :- peepchk__1(_63,_65),
              numbervars([_63,_65]),
              write(peepchk(_63,_65)), nl, fail.
show_facts :- peepuse__1(_63,_65),
              numbervars([_63,_65]),
              write(peepuse(_63,_65)), nl, fail.
show_facts :- poptchkmember__1(_63,_65,_67),
              numbervars([_63,_65,_67]),
              write(poptchkmember(_63,_65,_67)), nl, fail.
show_facts :- poptmovreg0__1(_63,_65,_67,_69),
              numbervars([_63,_65,_67,_69]),
              write(poptmovreg0(_63,_65,_67,_69)), nl, fail.
show_facts :- poptmovreg__1(_63,_65,_67,_69,_71),
              numbervars([_63,_65,_67,_69,_71]),
              write(poptmovreg(_63,_65,_67,_69,_71)), nl, fail.
show_facts :- notmember1__1(_63,_65),
              numbervars([_63,_65]),
              write(notmember1(_63,_65)), nl, fail.
show_facts :- compbuiltin__1(_63,_65,_67),
              numbervars([_63,_65,_67]),
              write(compbuiltin(_63,_65,_67)), nl, fail.
show_facts :- poptbuiltin__1(_63,_65,_67,_69),
              numbervars([_63,_65,_67,_69]),
              write(poptbuiltin(_63,_65,_67,_69)), nl, fail.
show_facts :- comppopt4__1(_63,_65,_67,_69,_71),
              numbervars([_63,_65,_67,_69,_71]),
              write(comppopt4(_63,_65,_67,_69,_71)), nl, fail.
show_facts :- poptuni2bld__1(_63,_65),
              numbervars([_63,_65]),
              write(poptuni2bld(_63,_65)), nl, fail.
show_facts :- comppopt1a__1(_63,_65),
              numbervars([_63,_65]),
              write(comppopt1a(_63,_65)), nl, fail.
show_facts :- comppopt1av__1(_63,_65),
              numbervars([_63,_65]),
              write(comppopt1av(_63,_65)), nl, fail.
show_facts :- comppopt11__1(_63,_65,_67),
              numbervars([_63,_65,_67]),
              write(comppopt11(_63,_65,_67)), nl, fail.
show_facts :- comppopt1__1(_63,_65),
              numbervars([_63,_65]),
              write(comppopt1(_63,_65)), nl, fail.
show_facts :- comppeepopt__1(_63,_65,_67),
              numbervars([_63,_65,_67]),
              write(comppeepopt(_63,_65,_67)), nl, fail.
show_facts.
